home *** CD-ROM | disk | FTP | other *** search
/ Linux Cubed Series 3: Developer Tools / Linux Cubed Series 3 - Developer Tools.iso / devel / lang / eiffel / smalleif.97 / se.t / SmallEiffel / lib_show / gcd / test_gcd.e < prev   
Encoding:
Text File  |  1996-05-02  |  467 b   |  27 lines
  1. -- Part of SmallEiffel -- Read DISCLAIMER file -- Copyright (C) 
  2. -- Dominique COLNET and Suzanne COLLIN -- colnet@loria.fr
  3. --
  4. class TEST_GCD
  5.    --   
  6.    -- Have a look to INTEGER/gcd.
  7.    --
  8.    -- Note: SmallEiffel handle recursivity in assertions.
  9.    --
  10. creation {ANY}
  11.    make
  12.    
  13. feature {ANY}
  14.  
  15.    make is
  16.       do
  17.      check
  18.         (3).gcd(4) = 1;
  19.         (4).gcd(4) = 4;
  20.         (8).gcd(4) = 4;
  21.         (9).gcd(8) = 1;
  22.         (9).gcd(12) = 3;
  23.      end;
  24.       end;
  25.      
  26. end -- TEST_GCD
  27.